Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
نویسندگان
چکیده
SPECTRAL is an experiment in specification language design that tries to maintain compactness in spite of a number of orthogonal concepts. The design is based on Extended ML and PROSPECTRA, generalising and extending both approaches. Of particular concern are the means for structuring specifications and programs in-thelarge and in-the-small. The language includes constructs for defining general higher-order functions yielding specifications or program modules. Concepts of subtyping and (object-oriented) inheritance are included to support the specification development process and to enhance re-usability. Much of the power of the language comes from the use of dependent types.
منابع مشابه
Effectiveness of spectral data reduction in detection of salt-affected soils in a small study area
Data reduction is used to aggregate or amalgamate the large data sets into smaller and manageable information pieces in order to fast and accurate classification of different attributes. However, excessive spatial or spectral data reduction may result in losing or masking important radiometric information. Therefore, we conducted this research to evaluate the effectiveness of the different...
متن کاملInvestigation of Soil Amplification in North Cyprus
In this study, soil characteristics were investigated using four well-located earthquakes recorded by six accelerometers located in North Cyprus. The amplification values obtained according to the soil features were mapped in accordance with different frequencies using horizontal to vertical spectral ratio method. The dominant period values of the units below the station locations were calculat...
متن کاملA Model for Strategic Alliance Functions for Small and Medium-Sized Enterprises
This research aims at identifying and presenting a model for strategic alliance functions for successful small and medium-sized enterprises. The functions of strategic alliance include strengthening competitive advantage, strengthening entrepreneurial and innovative capabilities, strengthening social capital, and internationalization of small and medium-sized enterprises. Research method was bo...
متن کاملNumerical resolution of large deflections in cantilever beams by Bernstein spectral method and a convolution quadrature.
The mathematical modeling of the large deflections for the cantilever beams leads to a nonlinear differential equation with the mixed boundary conditions. Different numerical methods have been implemented by various authors for such problems. In this paper, two novel numerical techniques are investigated for the numerical simulation of the problem. The first is based on a spectral method utiliz...
متن کاملOptimal Design of FPI^λ D^μ based Stabilizers in Hybrid Multi-Machine Power System Using GWO Algorithm
In this paper, the theory and modeling of large scale photovoltaic (PV) in the power grid and its effect on power system stability are studied. In this work, the basic module, small signal modeling and mathematical analysis of the large scale PV jointed multi-machine are demonstrated. The principal portion of the paper is to reduce the low frequency fluctuations by tuned stabilizer in the atten...
متن کامل